机译:基于模式的BPMN流程模型到BPEL Web服务的转换
机译:BPEL Web服务的形式化建模和离散时间分析
机译:Web服务组合的BPEL4WS描述的正式模型
机译:建模BPEL Web服务进行诊断:朝向自我修复的Web服务
机译:使用Actor模型在Amazon Web Services上设计,原型实现和比较可扩展Web Push架构
机译:BOWS(生物信息学开放式Web服务)可将生物信息学工具集中在Web服务中
机译:基于模式的BPMN流程模型到BPEL Web服务的转换⋆
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文